Practical verification of decision-making in agent-based autonomous systems

Verification and Validation of Ethical Decision-making in Autonomous Systems

Autonomous systems are increasingly becoming part of both the cyber and physical infrastructures that sustain our daily lives. Immersing these technologies into our technical and social infrastructures has profound implications and hence requires instilling confidence in their behavior to avoid potential harm. This paper examines the characteristics of autonomous behavior in relation to ethical...

Optimal Decision Making in Agent-based Autonomous Groupage Traffic

The dynamics and complexity of planning and scheduling processes in groupage traffic require efficient, proactive, and reactive system behavior to improve the service quality while ensuring time and cost efficient transportation. We implemented a multiagent-system to emerge an adequate system behavior and focus on the decision making processes of agents that is based on the Traveling Salesman P...

A Safety-based Decision Making Architecture for Autonomous Systems

Argumentation Based Decision Making for Trust in Multi-Agent Systems

Agents in Multi-Agent Systems depend on assistance from others to attain their goals. Often, goals of agents conflict with each other, and agents can be unreliable or deceitful. Therefore, rational agents embedded in an open Multi-Agent System need to be equipped with algorithms to reason about trust. Currently, existing algorithms mainly focus on performance of these algorithms in terms of uti...

Online Decision-Making for Scalable Autonomous Systems

We present a general formal model called MODIA that can tackle a central challenge for autonomous vehicles (AVs), namely the ability to interact with an unspecified, large number of world entities. In MODIA, a collection of possible decisionproblems (DPs), known a priori, are instantiated online and executed as decision-components (DCs), unknown a priori. To combine the individual action recomm...